Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Christoph Weidenbach »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Christoph Scholl < Christoph Weidenbach < Christoph Wernhard  Facettes :

List of bibliographic references indexed by Christoph Weidenbach

Number of relevant bibliographic references: 19.
Ident.Authors (with country if any)Title
000355 (2015-09) Christoph Weidenbach [France]Automated Reasoning Building Blocks
000427 (2015-08) Martin Bromberger [Allemagne] ; Thomas Sturm [Allemagne] ; Christoph Weidenbach [Allemagne]Linear Integer Arithmetic Revisited
000671 (2015-01) Marco Voigt [Allemagne] ; Christoph Weidenbach [Allemagne]Bernays-Schönfinkel-Ramsey with Simple Bounds is NEXPTIME-complete
000674 (2015) Gábor Alagi [Allemagne] ; Christoph Weidenbach [France]{NRCL} - a model building approach to the {Bernays-Schönfinkel} fragment
000D79 (2014) Manuel Lamotte-Schubert [Allemagne] ; Christoph Weidenbach [France]BDI: a new decidable clause class
000D80 (2014) Stéphane Demri [France] ; Deepak Kapur [États-Unis] ; Christoph Weidenbach [France]Automated Reasoning – Seventh International Joint Conference (IJCAR 2014)
001176 (2013-06-09) Noran Azmy [Allemagne] ; Christoph Weidenbach [Allemagne]Computing Tiny Clause Normal Forms
001987 (2012-08-27) Tianxiang Lu [France] ; Stephan Merz [France] ; Christoph Weidenbach [France]Formal Verification Of Pastry Using TLA+
001A04 (2012-08) Jasmin Blanchette [Allemagne] ; Andrei Popescu [Allemagne] ; Daniel Wand [Allemagne] ; Christoph Weidenbach [Allemagne]More SPASS with Isabelle -- Superposition with Hard Sorts and Configurable Simplification
001A54 (2012-06-26) Pascal Fontaine [France] ; Stephan Merz [France] ; Christoph Weidenbach [Allemagne]Combination of disjoint theories: beyond decidability
001C22 (2012-03) Arnaud Fietzke [Allemagne] ; Evgeny Kruglov [Allemagne] ; Christoph Weidenbach [Allemagne]Automatic Generation of Invariants for Circular Derivations in SUP(LA)
002327 (2011-06) Stephan Merz [France] ; Tianxiang Lu [Allemagne] ; Christoph Weidenbach [Allemagne]Towards Verification of the Pastry Protocol using TLA+
002618 (2011) Tianxiang Lu [Allemagne, France] ; Stephan Merz [France] ; Christoph Weidenbach [Allemagne]Towards Verification of the Pastry Protocol Using TLA + 
002B00 (2010-09) Tianxiang Lu [Allemagne] ; Stephan Merz [France] ; Christoph Weidenbach [Allemagne]Model Checking the Pastry Routing Protocol
003969 (2009) Matthias Horbach [Allemagne] ; Christoph Weidenbach [Allemagne]Deciding the Inductive Validity of ∀ ∃ * Queries
003970 (2009) Matthias Horbach [Allemagne] ; Christoph Weidenbach [Allemagne]Decidability Results for Saturation-Based Model Building
004301 (2008) Matthias Horbach [Allemagne] ; Christoph Weidenbach [Allemagne]Superposition for Fixed Domains
00AF67 (1998) Florent Jacquemard ; Christoph Meyer ; Christoph WeidenbachUnification in Extensions of Shallow Equational Theories
00B551 (1998) Florent Jacquemard [France] ; Christoph Meyer ; Christoph WeidenbachUnification in Extensions of Shallow Equational Theories

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Christoph Weidenbach" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Christoph Weidenbach" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Christoph Weidenbach
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022